// author by welong
// zuowl@qq.com
// 2014-09-04  10:38
// PAT basic 1021

#include <stdio.h>
#include <string.h>

int main(int argc, char **argv)
{
	char str[1001];
	int  i, istrlen = 0;
	int  count[10] = {0};

	scanf("%s", str);
	istrlen = strlen(str);

	for(i = 0; i < istrlen; i++)
	{
		count[str[i] - '0']++;
	}

	for(i = 0; i < 10; i++)
	{
		if(count[i] != 0)
		{
			printf("%d:%d", i, count[i]);
			if(i != 9)
				printf("\n");
		}
	}
	return 0;
}
